101. Writing testbenches using System Verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer hardware description languages,Integrated circuits- Verification

رده :
TK7885
.
7
.
B48
2006

102. based design-Assertion

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Very large scale integration ; Design and construction. ; Integrated circuits ; Verification. ; Verilog (Computer hardware description language) ;

103. based scalable formal verification solutions-SAT

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

104. verification of hardware and software for ARM SoC design-Co

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ; Computer software ; Verification. ; Systems on a chip. ;